#include "include/linux/jiffies.h"

#include <stdio.h>
#include <stdlib.h>
// #include <types.h>
#include <time.h>

void timer_handler(){

}

int main(){
    timer_list t;
    t.expires = jiffies + msecs_to_jiffies(1000);
    timer_setup(&t, timer_handler, 0);
    timer_add(&t);
    printf("jiffies: %ld\n", jiffies);
    return 0;
} 